extern "C" {
  int printf(const char *, ...);
}

int main() {
  printf("Hello world!\n");
}
